Existence and convergence of Puiseux series solutions for autonomous first order differential equations

Given an autonomous first order algebraic ordinary differential equation F(y,y′)=0, we prove that every formal Puiseux series solution of expanded around any finite point or at infinity, is convergent. The proof constructive and provide algorithm to describe all such solutions. Moreover, show for in the complex plane there exists a which defines analytic curve passing through this point.